$\forall$$s$:LOSet, $a$, $b$:$\mid$$s$$\mid$. ($\neg$($b$ $<$$s$ $a$)) $\Leftarrow\!\Rightarrow$ ($a$ $\leq$ $b$)